161. Proceedings of the ... Annual ACM Symposium on Theory of Computing
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Computable functions,Congresses ، Computational complexity
رده :
QA
267
.
A27a
2002
162. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
پدیدآورنده : edited by G. H. Muller and M. M. Richter
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
رده :
QA
3
.
L28
Vol
.
1103
,
1104
163. Proceedings of the thirty-third annual ACM Symposium on the Theory of Computing: Hersonissos, Crete, Greece, July 6-8, 2001
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
267
.
A27
2001
164. Proceedings : 34th Annual Symposium on Foundations of Computer Science, Novenber 3-5, 1993, Palo Alto, California
پدیدآورنده : sponsord by IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Switching theory - Congresses , Machine theory - Congresses , Electronic data processing - Congresses , Computer Science-Congresses
رده :
QA
268
.
5
.
S95
1993
165. Process algebra and probabilistic methods :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Machine theory ; Congresses ; Parallel processing (Electronic computers) ; Congresses ;
166. Process algebra and probabilistic methods: performance modeling and verification: joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
267
.
P36
2001
167. Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
پدیدآورنده : Luca de Alfaro, Stephen Gilmore )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2165
168. Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
پدیدآورنده : Holger Hermanns, Roberto Segala, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2399
169. Semigroups, automata, and languages :University of Porto, 20-24, June 1994
پدیدآورنده : edited by Jorge Almeida, Gracinda M.S. Gomes, Pedro V. Silva
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Semigroups,Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
182
.
S443
1996
170. Semigroups, automata, and languages : University of Porto, 20-24, June 1994
پدیدآورنده : edited by Jorge Almeida, Gracinda M.S. Gomes, Pedro V. Silva
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Semigroups - Congresses , Machine theory - Congresses , Formal languages - Congresses
رده :
QA
182
.
S443
1994
171. Sequences, subsequences, and consequences
پدیدآورنده : / Solomon W. Golomb ... [et al.] (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Coding theory, Congresses,Sequences (Mathematics), Congresses,Sequential machine theory, Congresses,Data encryption (Computer science), Congresses
رده :
E-BOOK
172. Structural Theory of Automata, Semigroups, and Universal Algebra
پدیدآورنده : \ edited by Valery B. Kudryavtsev and Ivo G. Rosenberg ; technical editor, Martin Goldstein.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Algebra, Universal -- Congresses. ,Semigroup algebras -- Congresses,Machine theory -- Congresses. ,جبر عمومی -- کنگرهها,نظریه ماشین -- کنگره ها
رده :
E-Book
,
173. Symposium on Switching and Automata Theory, 1st- 1960-
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Switching theory-- Congresses,، Sequential machine thoery-- Congresses,، Automata-- Congresses
رده :
QA
268
.
5
.
S9a
174. Systems and computer science
پدیدآورنده : Conference on Systems and Computer Science, 5691, University of Western Ontario
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Machine theory-- Congresses,، Computer science-- Congresses
رده :
QA
267
.
C6
1965
175. The oretical computer science
پدیدآورنده : Editor Alfredo Desantis,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Machine theory-Congresses,Formal Languages-Congresses
رده :
QA
.
I8T47
267
1995
176. Theoretical computer science
پدیدآورنده : 3rd GI conference, Darmstadt, March 82-03, 7791 ; edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
267
.
G18
1977
177. Theoretical computer science
پدیدآورنده : 3rd GI conference, Darmstadt, March 82-03, 7791 ; edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
48
178. Theoretical computer science : 3rd GI Conference, Darmstadt, March 28-30, 1977
پدیدآورنده : edited by H. Tzchach, H. Waldschmidt and K.-G. Walter on behalf of the GI
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
48
179. Theoretical computer science : 4th GI Conference, Aachen, March 26-28, 1979
پدیدآورنده : edited by K. Weihrauch
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
67
180. Theoretical computer science : 6th GI-Conference, Dortmund, January 5-7, 1983
پدیدآورنده : edited by A.B. Cremers and H.P. Kriegel
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
145